An Axiomatic Characterization of Ensconcement-Based Contraction
نویسندگان
چکیده
In this article, we propose an axiomatic characterization for ensconcement-based contraction functions, belief base functionsproposed by Williams. We relate this function with other kinds of base contraction functions.
منابع مشابه
Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report
In this paper we study the class of brutal base contractions that are based on a bounded ensconcement and also the class of severe withdrawals which are based on bounded epistemic entrenchment relations that are defined by means of bounded ensconcements (using the procedure proposed by Mary-Anne Williams). We present axiomatic characterizations for each one of those classes of functions and inv...
متن کاملOn the Logic of Theory Change: Extending the AGM Model
Fermé, Eduardo. 2011. On the Logic of Theory Change: Extending the AGM Model. PhD Thesis in Philosophy from the Royal Institute of Technology. This thesis consists in six articles and a comprehensive summary. ● The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in t...
متن کاملA Brief Note About Rott Contraction
One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by Gärdenfors in [5], who defined epistemic entrenchment and a contraction function in terms of it and related the latter with the AGM contraction function. Later Hans Rott in [16] presented an entrenchment based contraction function that does not satisfy recovery. In this paper...
متن کاملSemi-Contraction: Axioms and Construction
Semi-contraction is a withdrawal operation defined by Fermé in “On the logic of theory change: Contraction without recovery.” In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi’s saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström ...
متن کاملAn axiomatization of the Hirsch-index without adopting monotonicity
The Hirsch-index is an index for measuring and comparing the output of researchers. Under the condition of monotonicity, Woeginger [7] provides a characterization of the Hirsch-index by three axioms in 2008. Replacing monotonicity by expansion consistency, we characterize the Hirsch-index by only two of Woeginger’s axioms. Besides, we also introduce an axiom contraction consistency. It is a dua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Comput.
دوره 18 شماره
صفحات -
تاریخ انتشار 2008